functor F (
  A : sig
    val f : int -> int
  end
) =
struct
end
